fun call f arg = print ((Word8.toString (f arg) handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callS f arg = print ((f arg handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun bin (x, y) = ( print (Word8.toString x ^ " + " ^ Word8.toString y ^ " = ")
                 ; call Word8.+ (x, y)
                 ; print (Word8.toString x ^ " - " ^ Word8.toString y ^ " = ")
                 ; call Word8.- (x, y)
                 ; print (Word8.toString x ^ " * " ^ Word8.toString y ^ " = ")
                 ; call Word8.* (x, y)
                 ; print (Word8.toString x ^ " div " ^ Word8.toString y ^ " = ")
                 ; call Word8.div (x, y)
                 ; print (Word8.toString x ^ " mod " ^ Word8.toString y ^ " = ")
                 ; call Word8.mod (x, y)
                 ; print (Word8.toString x ^ " andb " ^ Word8.toString y ^ " = ")
                 ; call Word8.andb (x, y)
                 ; print (Word8.toString x ^ " orb " ^ Word8.toString y ^ " = ")
                 ; call Word8.orb (x, y)
                 ; print (Word8.toString x ^ " xorb " ^ Word8.toString y ^ " = ")
                 ; call Word8.xorb (x, y)
                 );
fun un x = ( print ("~ " ^ Word8.toString x ^ " = ")
           ; call Word8.~ x
           ; print ("notb " ^ Word8.toString x ^ " = ")
           ; call Word8.notb x
           ; print (Word8.toString x ^ " << 0w0 = ")
           ; call (fn x => Word8.<< (x, 0w0)) x
           ; print (Word8.toString x ^ " << 0w2 = ")
           ; call (fn x => Word8.<< (x, 0w2)) x
           ; print (Word8.toString x ^ " << 0w10 = ")
           ; call (fn x => Word8.<< (x, 0w10)) x
           ; print (Word8.toString x ^ " << 0w20 = ")
           ; call (fn x => Word8.<< (x, 0w20)) x
           ; print (Word8.toString x ^ " << 0w31 = ")
           ; call (fn x => Word8.<< (x, 0w31)) x
           ; print (Word8.toString x ^ " << 0w63 = ")
           ; call (fn x => Word8.<< (x, 0w63)) x
           ; print (Word8.toString x ^ " << 0w64 = ")
           ; call (fn x => Word8.<< (x, 0w64)) x
           ; print (Word8.toString x ^ " << 0w65 = ")
           ; call (fn x => Word8.<< (x, 0w65)) x
           ; print (Word8.toString x ^ " >> 0w0 = ")
           ; call (fn x => Word8.>> (x, 0w0)) x
           ; print (Word8.toString x ^ " >> 0w2 = ")
           ; call (fn x => Word8.>> (x, 0w2)) x
           ; print (Word8.toString x ^ " >> 0w10 = ")
           ; call (fn x => Word8.>> (x, 0w10)) x
           ; print (Word8.toString x ^ " >> 0w20 = ")
           ; call (fn x => Word8.>> (x, 0w20)) x
           ; print (Word8.toString x ^ " >> 0w31 = ")
           ; call (fn x => Word8.>> (x, 0w31)) x
           ; print (Word8.toString x ^ " >> 0w63 = ")
           ; call (fn x => Word8.>> (x, 0w63)) x
           ; print (Word8.toString x ^ " >> 0w64 = ")
           ; call (fn x => Word8.>> (x, 0w64)) x
           ; print (Word8.toString x ^ " >> 0w65 = ")
           ; call (fn x => Word8.>> (x, 0w65)) x
           ; print (Word8.toString x ^ " ~>> 0w0 = ")
           ; call (fn x => Word8.~>> (x, 0w0)) x
           ; print (Word8.toString x ^ " ~>> 0w2 = ")
           ; call (fn x => Word8.~>> (x, 0w2)) x
           ; print (Word8.toString x ^ " ~>> 0w10 = ")
           ; call (fn x => Word8.~>> (x, 0w10)) x
           ; print (Word8.toString x ^ " ~>> 0w20 = ")
           ; call (fn x => Word8.~>> (x, 0w20)) x
           ; print (Word8.toString x ^ " ~>> 0w31 = ")
           ; call (fn x => Word8.~>> (x, 0w31)) x
           ; print (Word8.toString x ^ " ~>> 0w63 = ")
           ; call (fn x => Word8.~>> (x, 0w63)) x
           ; print (Word8.toString x ^ " ~>> 0w64 = ")
           ; call (fn x => Word8.~>> (x, 0w64)) x
           ; print (Word8.toString x ^ " ~>> 0w65 = ")
           ; call (fn x => Word8.~>> (x, 0w65)) x
           (* ; print ("fmt BIN " ^ Word8.toString x ^ " = ")
           ; callS (Word8.fmt StringCvt.BIN) x ... not implemented yet *)
           ; print ("fmt OCT " ^ Word8.toString x ^ " = ")
           ; callS (Word8.fmt StringCvt.OCT) x
           ; print ("fmt DEC " ^ Word8.toString x ^ " = ")
           ; callS (Word8.fmt StringCvt.DEC) x
           ; print ("fmt HEX " ^ Word8.toString x ^ " = ")
           ; callS (Word8.fmt StringCvt.HEX) x
           );
List.app un
[0w0
,0w1
,0w2
,0w3
,0w78
,0w254
,0w255
,0w48
,0w151
,0w95
,0w15
,0w208
,0w210
,0w145
,0w23
,0w139
,0w244
,0w50
,0w187
,0w133
,0w142
,0w41
,0w248
,0w94
,0w92
,0w91
,0w237
,0w127
,0w66
,0w9
,0w75
,0w155
,0w122
,0w24
,0w224
,0w74
,0w162
,0w226
,0w235
,0w31
,0w168
,0w219
,0w34
,0w189
,0w72
,0w107
,0w240
,0w125
,0w150
,0w184
,0w119
,0w159
,0w245
,0w38
];
List.app bin
[(0w0,0w0)
,(0w0,0w1)
,(0w0,0w2)
,(0w0,0w3)
,(0w0,0w99)
,(0w0,0w254)
,(0w0,0w255)
,(0w1,0w0)
,(0w1,0w1)
,(0w1,0w2)
,(0w1,0w3)
,(0w1,0w99)
,(0w1,0w254)
,(0w1,0w255)
,(0w2,0w0)
,(0w2,0w1)
,(0w2,0w2)
,(0w2,0w3)
,(0w2,0w99)
,(0w2,0w254)
,(0w2,0w255)
,(0w3,0w0)
,(0w3,0w1)
,(0w3,0w2)
,(0w3,0w3)
,(0w3,0w99)
,(0w3,0w254)
,(0w3,0w255)
,(0w78,0w0)
,(0w78,0w1)
,(0w78,0w2)
,(0w78,0w3)
,(0w78,0w99)
,(0w78,0w254)
,(0w78,0w255)
,(0w254,0w0)
,(0w254,0w1)
,(0w254,0w2)
,(0w254,0w3)
,(0w254,0w99)
,(0w254,0w254)
,(0w254,0w255)
,(0w255,0w0)
,(0w255,0w1)
,(0w255,0w2)
,(0w255,0w3)
,(0w255,0w99)
,(0w255,0w254)
,(0w255,0w255)
,(0w142,0w3)
,(0w97,0w86)
,(0w80,0w178)
,(0w219,0w77)
,(0w65,0w203)
,(0w166,0w58)
,(0w131,0w250)
,(0w187,0w135)
,(0w132,0w105)
,(0w29,0w236)
,(0w226,0w13)
,(0w236,0w158)
,(0w220,0w27)
,(0w183,0w185)
,(0w18,0w192)
,(0w195,0w200)
,(0w44,0w28)
,(0w98,0w41)
,(0w69,0w115)
,(0w146,0w178)
,(0w189,0w40)
,(0w83,0w217)
,(0w173,0w239)
,(0w136,0w82)
,(0w207,0w86)
,(0w15,0w62)
,(0w206,0w132)
,(0w45,0w106)
,(0w48,0w122)
,(0w241,0w247)
,(0w178,0w94)
,(0w46,0w139)
,(0w129,0w51)
,(0w105,0w63)
,(0w55,0w47)
,(0w87,0w160)
,(0w129,0w177)
,(0w225,0w172)
,(0w91,0w117)
,(0w224,0w172)
,(0w1,0w62)
,(0w170,0w52)
,(0w3,0w62)
,(0w134,0w135)
,(0w103,0w89)
,(0w166,0w165)
,(0w28,0w175)
,(0w239,0w203)
,(0w120,0w195)
,(0w125,0w88)
,(0w28,0w203)
,(0w212,0w237)
,(0w79,0w58)
,(0w145,0w35)
,(0w43,0w209)
,(0w69,0w226)
,(0w55,0w253)
,(0w146,0w153)
,(0w18,0w210)
,(0w22,0w217)
,(0w248,0w249)
,(0w107,0w201)
,(0w240,0w156)
,(0w76,0w92)
,(0w179,0w35)
,(0w192,0w253)
,(0w30,0w9)
,(0w138,0w68)
,(0w109,0w202)
,(0w123,0w191)
,(0w85,0w25)
,(0w207,0w44)
,(0w209,0w209)
,(0w123,0w163)
,(0w214,0w95)
,(0w193,0w230)
,(0w245,0w56)
,(0w234,0w84)
,(0w239,0w145)
,(0w60,0w7)
,(0w79,0w47)
,(0w38,0w155)
,(0w3,0w138)
,(0w216,0w118)
,(0w227,0w126)
,(0w254,0w143)
,(0w141,0w91)
,(0w164,0w24)
,(0w160,0w43)
,(0w206,0w103)
,(0w54,0w223)
,(0w134,0w159)
,(0w51,0w0)
,(0w13,0w106)
,(0w86,0w75)
,(0w126,0w238)
,(0w141,0w119)
,(0w153,0w165)
,(0w9,0w1)
,(0w90,0w233)
,(0w216,0w1)
,(0w50,0w170)
,(0w51,0w79)
,(0w35,0w141)
,(0w82,0w239)
,(0w122,0w190)
,(0w221,0w219)
,(0w231,0w73)
,(0w90,0w68)
,(0w225,0w11)
,(0w86,0w222)
,(0w135,0w245)
,(0w2,0w161)
,(0w163,0w178)
,(0w107,0w117)
,(0w157,0w106)
,(0w147,0w43)
,(0w184,0w13)
,(0w245,0w161)
,(0w225,0w60)
,(0w55,0w108)
,(0w216,0w140)
,(0w128,0w12)
,(0w188,0w16)
,(0w162,0w181)
,(0w78,0w163)
,(0w68,0w132)
,(0w36,0w44)
,(0w18,0w122)
,(0w109,0w254)
,(0w233,0w34)
,(0w4,0w167)
,(0w39,0w44)
,(0w66,0w53)
,(0w62,0w80)
,(0w9,0w77)
,(0w134,0w108)
,(0w137,0w161)
,(0w143,0w219)
,(0w216,0w156)
,(0w15,0w221)
,(0w79,0w166)
,(0w193,0w90)
,(0w225,0w160)
,(0w170,0w254)
,(0w46,0w151)
,(0w130,0w11)
,(0w251,0w240)
,(0w130,0w220)
,(0w113,0w148)
,(0w234,0w105)
,(0w241,0w211)
,(0w188,0w20)
,(0w181,0w87)
,(0w206,0w21)
,(0w239,0w159)
,(0w166,0w151)
,(0w72,0w250)
,(0w24,0w46)
,(0w0,0w158)
,(0w117,0w201)
,(0w112,0w78)
,(0w70,0w149)
,(0w48,0w215)
,(0w166,0w142)
,(0w9,0w199)
,(0w104,0w146)
,(0w92,0w209)
,(0w96,0w25)
,(0w70,0w193)
,(0w46,0w252)
,(0w56,0w140)
,(0w125,0w59)
,(0w20,0w8)
,(0w149,0w223)
,(0w101,0w234)
,(0w186,0w159)
,(0w200,0w251)
,(0w23,0w190)
,(0w131,0w15)
,(0w253,0w226)
,(0w214,0w118)
,(0w228,0w36)
,(0w203,0w100)
,(0w241,0w70)
,(0w173,0w213)
,(0w37,0w247)
,(0w151,0w98)
,(0w107,0w1)
,(0w29,0w54)
,(0w25,0w252)
,(0w75,0w62)
,(0w106,0w56)
,(0w237,0w88)
,(0w219,0w203)
,(0w106,0w85)
,(0w237,0w83)
,(0w233,0w154)
,(0w154,0w155)
,(0w136,0w215)
,(0w156,0w29)
,(0w213,0w69)
,(0w155,0w41)
,(0w85,0w13)
,(0w196,0w132)
,(0w166,0w53)
,(0w70,0w184)
,(0w124,0w19)
,(0w206,0w91)
,(0w42,0w106)
,(0w66,0w129)
,(0w128,0w189)
,(0w196,0w186)
,(0w207,0w18)
,(0w252,0w121)
,(0w102,0w246)
,(0w251,0w227)
,(0w93,0w0)
,(0w26,0w101)
,(0w30,0w57)
,(0w230,0w4)
,(0w194,0w46)
,(0w85,0w192)
,(0w187,0w22)
,(0w113,0w252)
,(0w33,0w59)
,(0w124,0w234)
,(0w28,0w159)
,(0w147,0w143)
,(0w150,0w19)
,(0w152,0w82)
,(0w154,0w74)
,(0w139,0w232)
,(0w32,0w189)
,(0w196,0w91)
,(0w174,0w213)
,(0w6,0w203)
,(0w220,0w215)
,(0w106,0w52)
,(0w238,0w135)
,(0w114,0w96)
,(0w225,0w215)
,(0w5,0w77)
,(0w49,0w237)
,(0w255,0w138)
,(0w16,0w115)
,(0w194,0w245)
,(0w152,0w67)
,(0w21,0w116)
,(0w121,0w153)
,(0w181,0w84)
,(0w88,0w130)
,(0w213,0w217)
,(0w243,0w227)
,(0w225,0w80)
,(0w127,0w182)
,(0w212,0w250)
,(0w187,0w241)
,(0w31,0w207)
,(0w56,0w126)
,(0w62,0w213)
,(0w228,0w197)
,(0w216,0w82)
,(0w38,0w195)
,(0w77,0w213)
,(0w49,0w163)
,(0w47,0w170)
,(0w182,0w73)
,(0w1,0w100)
,(0w195,0w114)
,(0w194,0w62)
,(0w92,0w63)
,(0w239,0w111)
,(0w207,0w123)
,(0w145,0w84)
,(0w253,0w64)
,(0w202,0w240)
,(0w98,0w171)
,(0w47,0w109)
,(0w36,0w127)
,(0w48,0w84)
,(0w188,0w64)
,(0w58,0w202)
,(0w208,0w143)
,(0w19,0w241)
,(0w195,0w252)
,(0w109,0w86)
,(0w117,0w239)
,(0w139,0w84)
,(0w127,0w219)
,(0w78,0w7)
,(0w96,0w32)
,(0w221,0w0)
,(0w166,0w218)
,(0w125,0w79)
,(0w251,0w132)
,(0w167,0w32)
,(0w150,0w134)
,(0w21,0w61)
,(0w122,0w184)
,(0w159,0w136)
,(0w67,0w228)
,(0w117,0w78)
,(0w5,0w220)
,(0w38,0w143)
,(0w210,0w105)
,(0w230,0w112)
,(0w234,0w111)
,(0w239,0w57)
,(0w125,0w221)
,(0w14,0w120)
,(0w115,0w103)
,(0w145,0w5)
,(0w179,0w37)
,(0w139,0w55)
,(0w196,0w135)
,(0w103,0w26)
,(0w146,0w213)
,(0w224,0w70)
,(0w162,0w44)
,(0w67,0w216)
,(0w205,0w189)
,(0w137,0w168)
,(0w175,0w68)
,(0w219,0w180)
,(0w153,0w177)
,(0w13,0w237)
,(0w63,0w122)
,(0w41,0w167)
,(0w187,0w17)
,(0w203,0w111)
,(0w35,0w243)
,(0w61,0w170)
,(0w92,0w136)
,(0w14,0w178)
,(0w114,0w158)
,(0w182,0w61)
,(0w212,0w201)
,(0w74,0w220)
,(0w253,0w44)
,(0w91,0w95)
,(0w97,0w35)
,(0w156,0w124)
,(0w65,0w184)
,(0w190,0w132)
,(0w102,0w175)
,(0w40,0w238)
,(0w159,0w74)
,(0w22,0w112)
,(0w27,0w64)
,(0w72,0w38)
,(0w165,0w32)
,(0w232,0w190)
,(0w46,0w71)
,(0w163,0w149)
,(0w145,0w193)
,(0w196,0w166)
,(0w233,0w118)
,(0w240,0w89)
,(0w19,0w177)
,(0w197,0w217)
,(0w61,0w85)
,(0w178,0w196)
,(0w160,0w249)
,(0w65,0w153)
,(0w45,0w83)
,(0w95,0w5)
,(0w13,0w218)
,(0w181,0w122)
,(0w120,0w51)
,(0w187,0w100)
,(0w165,0w144)
,(0w142,0w165)
,(0w60,0w103)
,(0w65,0w233)
,(0w28,0w215)
,(0w24,0w156)
,(0w37,0w206)
,(0w213,0w55)
,(0w146,0w223)
,(0w247,0w75)
,(0w61,0w175)
,(0w98,0w149)
,(0w240,0w221)
,(0w145,0w29)
,(0w96,0w137)
,(0w246,0w54)
,(0w190,0w52)
,(0w55,0w60)
,(0w193,0w241)
,(0w217,0w51)
,(0w61,0w87)
,(0w245,0w219)
,(0w16,0w240)
,(0w176,0w151)
,(0w56,0w103)
,(0w192,0w47)
,(0w163,0w138)
,(0w35,0w191)
,(0w186,0w152)
,(0w134,0w202)
,(0w118,0w27)
,(0w223,0w135)
,(0w206,0w67)
,(0w201,0w229)
,(0w166,0w55)
,(0w213,0w204)
,(0w99,0w28)
,(0w218,0w140)
,(0w59,0w171)
,(0w77,0w159)
,(0w112,0w44)
,(0w152,0w181)
,(0w14,0w0)
,(0w216,0w191)
,(0w162,0w194)
,(0w87,0w218)
,(0w27,0w7)
,(0w105,0w20)
,(0w136,0w150)
,(0w47,0w41)
,(0w143,0w43)
,(0w251,0w196)
,(0w77,0w115)
,(0w218,0w244)
,(0w52,0w243)
,(0w145,0w152)
,(0w231,0w83)
,(0w162,0w76)
,(0w90,0w147)
,(0w117,0w22)
,(0w236,0w20)
,(0w18,0w110)
,(0w211,0w91)
,(0w118,0w220)
,(0w70,0w31)
,(0w36,0w134)
,(0w164,0w200)
,(0w220,0w185)
,(0w123,0w117)
,(0w110,0w27)
,(0w166,0w162)
,(0w189,0w224)
,(0w45,0w190)
,(0w136,0w124)
,(0w146,0w0)
,(0w99,0w148)
,(0w135,0w106)
,(0w124,0w121)
,(0w7,0w168)
,(0w162,0w122)
,(0w242,0w246)
,(0w220,0w21)
,(0w74,0w128)
,(0w253,0w192)
,(0w113,0w36)
,(0w144,0w82)
,(0w37,0w158)
,(0w17,0w17)
,(0w97,0w246)
,(0w66,0w33)
,(0w7,0w30)
,(0w102,0w63)
,(0w149,0w98)
,(0w77,0w64)
,(0w35,0w148)
,(0w44,0w205)
,(0w244,0w229)
,(0w172,0w77)
,(0w237,0w62)
,(0w85,0w81)
,(0w184,0w69)
,(0w188,0w180)
,(0w95,0w34)
,(0w154,0w21)
,(0w36,0w17)
,(0w7,0w37)
,(0w32,0w237)
,(0w224,0w22)
,(0w156,0w213)
,(0w138,0w67)
,(0w128,0w172)
,(0w192,0w103)
,(0w167,0w80)
,(0w25,0w146)
,(0w15,0w132)
,(0w139,0w106)
,(0w77,0w27)
,(0w116,0w34)
,(0w143,0w3)
,(0w78,0w180)
,(0w35,0w115)
,(0w104,0w69)
,(0w182,0w117)
,(0w60,0w112)
,(0w131,0w159)
,(0w212,0w83)
,(0w216,0w62)
,(0w93,0w118)
,(0w22,0w68)
,(0w38,0w39)
,(0w81,0w199)
,(0w52,0w239)
,(0w65,0w220)
,(0w207,0w206)
,(0w25,0w214)
,(0w231,0w178)
,(0w206,0w148)
,(0w202,0w15)
,(0w109,0w189)
,(0w66,0w231)
,(0w107,0w71)
,(0w218,0w74)
,(0w205,0w45)
,(0w174,0w57)
,(0w81,0w141)
,(0w16,0w125)
,(0w69,0w150)
,(0w56,0w49)
,(0w250,0w37)
,(0w83,0w67)
,(0w195,0w0)
,(0w135,0w124)
,(0w79,0w141)
,(0w179,0w87)
,(0w90,0w214)
,(0w62,0w77)
,(0w236,0w207)
,(0w172,0w150)
,(0w129,0w75)
,(0w248,0w130)
,(0w101,0w40)
,(0w228,0w82)
,(0w198,0w23)
,(0w81,0w103)
,(0w165,0w37)
,(0w57,0w146)
,(0w22,0w127)
,(0w18,0w170)
,(0w189,0w22)
,(0w31,0w59)
,(0w200,0w184)
,(0w222,0w167)
,(0w28,0w183)
,(0w132,0w23)
,(0w109,0w239)
,(0w111,0w136)
,(0w43,0w81)
,(0w223,0w71)
,(0w98,0w164)
,(0w40,0w225)
,(0w52,0w99)
,(0w139,0w43)
,(0w126,0w26)
,(0w178,0w147)
,(0w42,0w67)
,(0w211,0w48)
,(0w82,0w158)
,(0w78,0w48)
,(0w150,0w136)
,(0w23,0w16)
,(0w71,0w197)
,(0w158,0w182)
,(0w22,0w229)
,(0w32,0w228)
,(0w223,0w145)
,(0w207,0w131)
,(0w200,0w91)
,(0w26,0w0)
,(0w109,0w40)
,(0w255,0w188)
,(0w219,0w104)
,(0w51,0w138)
,(0w7,0w212)
,(0w126,0w138)
,(0w15,0w175)
,(0w21,0w215)
,(0w202,0w44)
,(0w254,0w167)
,(0w239,0w219)
,(0w82,0w69)
,(0w33,0w204)
,(0w6,0w184)
,(0w236,0w60)
,(0w187,0w58)
,(0w170,0w188)
,(0w116,0w209)
,(0w92,0w26)
,(0w76,0w80)
,(0w2,0w74)
,(0w183,0w61)
,(0w92,0w75)
,(0w132,0w32)
,(0w250,0w69)
,(0w130,0w129)
,(0w111,0w1)
,(0w55,0w8)
,(0w189,0w222)
,(0w150,0w64)
,(0w147,0w89)
,(0w113,0w149)
,(0w189,0w240)
,(0w60,0w223)
,(0w141,0w56)
,(0w214,0w146)
,(0w183,0w71)
,(0w109,0w152)
,(0w126,0w201)
,(0w249,0w90)
,(0w197,0w206)
,(0w162,0w142)
,(0w40,0w91)
,(0w110,0w74)
,(0w11,0w116)
,(0w125,0w182)
,(0w172,0w245)
,(0w89,0w178)
,(0w229,0w12)
,(0w85,0w229)
,(0w37,0w222)
,(0w240,0w102)
,(0w211,0w117)
,(0w6,0w241)
,(0w84,0w14)
,(0w15,0w3)
,(0w150,0w242)
,(0w135,0w54)
,(0w72,0w235)
,(0w163,0w1)
,(0w207,0w235)
,(0w174,0w48)
,(0w250,0w237)
,(0w75,0w172)
,(0w97,0w118)
,(0w143,0w17)
,(0w2,0w85)
,(0w252,0w76)
,(0w96,0w121)
,(0w234,0w22)
,(0w231,0w149)
,(0w65,0w91)
,(0w143,0w153)
,(0w34,0w99)
,(0w115,0w112)
,(0w94,0w150)
,(0w51,0w10)
,(0w149,0w24)
,(0w228,0w10)
,(0w247,0w55)
,(0w28,0w244)
,(0w107,0w239)
,(0w253,0w68)
,(0w62,0w131)
,(0w225,0w213)
,(0w39,0w115)
,(0w94,0w190)
,(0w33,0w66)
,(0w33,0w116)
,(0w113,0w216)
,(0w171,0w197)
,(0w114,0w104)
,(0w127,0w131)
,(0w113,0w143)
,(0w87,0w16)
,(0w252,0w86)
,(0w90,0w118)
,(0w233,0w240)
,(0w168,0w250)
,(0w138,0w233)
,(0w170,0w185)
,(0w165,0w118)
,(0w156,0w184)
,(0w74,0w26)
,(0w19,0w208)
,(0w238,0w26)
,(0w56,0w247)
,(0w164,0w158)
,(0w192,0w119)
,(0w18,0w253)
,(0w229,0w224)
,(0w156,0w114)
,(0w163,0w229)
,(0w130,0w146)
,(0w81,0w68)
,(0w7,0w10)
,(0w158,0w18)
,(0w223,0w185)
,(0w132,0w210)
,(0w188,0w2)
,(0w230,0w82)
,(0w191,0w147)
,(0w179,0w85)
,(0w57,0w141)
,(0w56,0w235)
,(0w62,0w200)
,(0w255,0w11)
,(0w142,0w69)
,(0w165,0w171)
,(0w81,0w119)
,(0w202,0w4)
,(0w19,0w239)
,(0w76,0w20)
,(0w233,0w3)
,(0w162,0w162)
,(0w147,0w157)
,(0w175,0w47)
,(0w168,0w225)
,(0w246,0w220)
,(0w167,0w102)
,(0w20,0w237)
,(0w143,0w236)
,(0w101,0w59)
,(0w73,0w57)
,(0w205,0w65)
,(0w234,0w159)
,(0w149,0w16)
,(0w94,0w164)
,(0w146,0w56)
,(0w249,0w179)
,(0w98,0w71)
,(0w179,0w6)
,(0w235,0w154)
,(0w156,0w109)
,(0w169,0w117)
,(0w15,0w255)
,(0w118,0w155)
,(0w123,0w193)
,(0w77,0w165)
,(0w73,0w76)
,(0w248,0w155)
,(0w249,0w9)
,(0w166,0w198)
,(0w120,0w108)
,(0w166,0w203)
,(0w84,0w95)
,(0w169,0w14)
,(0w185,0w67)
,(0w137,0w68)
,(0w253,0w183)
,(0w146,0w74)
,(0w41,0w38)
,(0w111,0w54)
,(0w168,0w15)
,(0w84,0w21)
,(0w205,0w240)
,(0w250,0w227)
,(0w10,0w108)
,(0w82,0w145)
,(0w101,0w35)
,(0w222,0w190)
,(0w213,0w176)
,(0w142,0w106)
,(0w79,0w109)
,(0w17,0w176)
,(0w86,0w170)
,(0w172,0w84)
,(0w117,0w162)
,(0w67,0w131)
,(0w235,0w112)
,(0w5,0w60)
,(0w212,0w58)
,(0w143,0w184)
,(0w164,0w233)
,(0w150,0w94)
,(0w106,0w135)
,(0w190,0w226)
,(0w172,0w68)
,(0w45,0w96)
,(0w146,0w162)
,(0w160,0w161)
,(0w215,0w96)
,(0w141,0w105)
,(0w111,0w241)
,(0w80,0w243)
,(0w147,0w21)
,(0w108,0w75)
,(0w121,0w139)
,(0w156,0w70)
,(0w69,0w212)
,(0w199,0w8)
,(0w56,0w147)
,(0w48,0w144)
,(0w142,0w176)
,(0w177,0w76)
,(0w104,0w143)
,(0w56,0w84)
,(0w203,0w220)
,(0w213,0w166)
,(0w115,0w176)
,(0w174,0w149)
,(0w197,0w61)
,(0w28,0w127)
,(0w74,0w224)
,(0w204,0w40)
,(0w67,0w172)
,(0w238,0w238)
,(0w47,0w136)
,(0w172,0w10)
,(0w53,0w58)
,(0w159,0w25)
,(0w84,0w116)
,(0w107,0w231)
,(0w96,0w24)
,(0w138,0w226)
,(0w135,0w185)
,(0w234,0w25)
,(0w189,0w75)
,(0w17,0w133)
,(0w74,0w91)
,(0w118,0w137)
,(0w27,0w198)
,(0w33,0w30)
,(0w122,0w73)
,(0w229,0w137)
,(0w141,0w70)
,(0w52,0w0)
,(0w135,0w194)
,(0w54,0w77)
,(0w232,0w72)
,(0w200,0w246)
,(0w249,0w30)
,(0w19,0w44)
,(0w126,0w128)
,(0w25,0w134)
,(0w29,0w102)
,(0w106,0w102)
,(0w127,0w217)
,(0w155,0w234)
,(0w215,0w140)
,(0w210,0w94)
,(0w194,0w247)
,(0w188,0w227)
,(0w96,0w251)
,(0w204,0w136)
,(0w199,0w112)
,(0w4,0w155)
,(0w89,0w139)
,(0w38,0w141)
,(0w49,0w65)
,(0w165,0w128)
,(0w98,0w121)
,(0w52,0w160)
,(0w47,0w96)
,(0w185,0w49)
,(0w68,0w30)
,(0w255,0w127)
,(0w217,0w109)
,(0w218,0w189)
,(0w44,0w210)
,(0w101,0w5)
,(0w28,0w134)
,(0w79,0w68)
,(0w230,0w236)
,(0w6,0w82)
,(0w93,0w24)
,(0w74,0w164)
,(0w67,0w168)
,(0w137,0w136)
,(0w84,0w228)
,(0w134,0w68)
,(0w234,0w100)
,(0w144,0w115)
,(0w49,0w29)
,(0w63,0w154)
,(0w132,0w137)
,(0w46,0w70)
,(0w174,0w9)
,(0w157,0w115)
,(0w179,0w216)
,(0w128,0w237)
,(0w30,0w185)
,(0w109,0w153)
,(0w39,0w55)
,(0w87,0w39)
,(0w213,0w124)
,(0w252,0w242)
,(0w164,0w172)
,(0w13,0w89)
,(0w84,0w90)
,(0w86,0w88)
,(0w124,0w43)
,(0w156,0w170)
,(0w229,0w53)
,(0w155,0w194)
,(0w128,0w213)
,(0w103,0w36)
,(0w124,0w37)
,(0w94,0w154)
,(0w138,0w141)
,(0w47,0w40)
,(0w221,0w253)
,(0w64,0w112)
,(0w171,0w89)
,(0w227,0w179)
,(0w230,0w228)
,(0w106,0w59)
,(0w78,0w176)
,(0w104,0w192)
,(0w246,0w5)
,(0w182,0w119)
,(0w60,0w108)
,(0w201,0w44)
,(0w47,0w115)
,(0w136,0w93)
,(0w148,0w107)
,(0w163,0w137)
,(0w157,0w111)
,(0w204,0w63)
,(0w232,0w150)
,(0w254,0w52)
,(0w232,0w122)
,(0w103,0w172)
,(0w66,0w196)
,(0w166,0w19)
,(0w102,0w77)
,(0w195,0w96)
,(0w146,0w208)
,(0w141,0w175)
,(0w146,0w253)
,(0w186,0w188)
,(0w135,0w218)
,(0w44,0w9)
,(0w203,0w37)
,(0w126,0w229)
,(0w168,0w88)
,(0w155,0w48)
,(0w93,0w12)
,(0w46,0w3)
,(0w167,0w229)
,(0w90,0w198)
,(0w66,0w49)
,(0w12,0w228)
,(0w219,0w47)
,(0w187,0w186)
,(0w126,0w117)
,(0w225,0w142)
,(0w240,0w106)
,(0w6,0w36)
,(0w111,0w88)
,(0w196,0w175)
,(0w68,0w114)
,(0w91,0w93)
,(0w10,0w216)
,(0w166,0w172)
,(0w156,0w148)
,(0w108,0w242)
,(0w77,0w169)
,(0w3,0w190)
,(0w236,0w152)
,(0w8,0w119)
,(0w184,0w143)
,(0w209,0w123)
,(0w112,0w35)
,(0w90,0w67)
,(0w123,0w89)
,(0w106,0w234)
,(0w12,0w57)
,(0w17,0w56)
,(0w150,0w15)
,(0w19,0w155)
,(0w161,0w149)
,(0w135,0w200)
,(0w186,0w81)
,(0w176,0w176)
,(0w181,0w103)
,(0w19,0w21)
,(0w239,0w82)
,(0w167,0w161)
,(0w5,0w102)
,(0w235,0w7)
,(0w60,0w69)
,(0w98,0w54)
,(0w58,0w123)
,(0w214,0w190)
,(0w241,0w252)
,(0w234,0w73)
,(0w38,0w131)
,(0w104,0w186)
,(0w62,0w56)
,(0w26,0w39)
,(0w231,0w161)
,(0w116,0w103)
,(0w82,0w204)
,(0w16,0w2)
,(0w19,0w59)
,(0w104,0w101)
,(0w85,0w88)
,(0w91,0w244)
,(0w17,0w95)
,(0w159,0w140)
,(0w245,0w164)
,(0w86,0w163)
,(0w36,0w53)
,(0w78,0w67)
,(0w46,0w187)
];
